Mit Robotics - Luca Carlone - Certifiably-Robust Spatial Perception